Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
821	Generic Haskell — From Types to Programs ¨ and many others Dave Clarke, Johan Jeuring, Andres Loh Generic Haskell is an extension to the Haskell programming language that supports generic programming. Many problems ha Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Generic programming Functional programming Haskell PCDATA C Lambda calculus XML Computing Software engineering Computer programming
822	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
823	PDF Document Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-11-06 21:49:53 Lisp programming language Functional languages Lisp Funarg problem Procedural programming languages Closure Lambda calculus Scope Eval Software engineering Computing Computer programming
824	Logical Types for Untyped Languages ∗ Sam Tobin-Hochstadt Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Deduction Philosophy of language Logical syntax Propositional calculus Natural deduction Function Symbol Lambda calculus Logic Mathematics Mathematical logic
825	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
826	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
827	Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo Add to Reading List Source URL: wingolog.org Language: English - Date: 2012-08-26 05:24:36 Control flow Continuations Subroutines Delimited continuation Lambda calculus Functional programming Call-with-current-continuation Scheme Racket Software engineering Computing Computer programming
828	Faster possibility detection by combining two approaches Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:52:14 Formal methods Computability theory Models of computation Analysis of algorithms Algorithm Lambda calculus Big O notation Vertex cover Centimetre–gram–second system of units Mathematics Theoretical computer science Applied mathematics
829	DOC Document Add to Reading List Source URL: www.calculemus.org Language: English - Date: 2001-11-06 03:27:00 Automated theorem proving Method of analytic tableaux Predicate logic Symmetric functions Modal logic Lambda calculus Well-formed formula Function Term Mathematics Logic Mathematical logic
830	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science

UPDATE